// 音频播放器代码

function timeChanged(){
    timer.total = timer.total + timer.interval
    //console.debug("timer.total: " + timer.total);

    var hours   = Math.floor(timer.total / 3600000);
    var minutes = Math.floor((timer.total - (hours * 3600000)) / 60000);
    var seconds = Math.floor((timer.total - (hours * 3600000) - (minutes * 60000)) / 1000);
    var milsecs = timer.total - (hours * 3600000) - (minutes * 60000) - seconds * 1000;

    if (hours   < 10) {hours   = "0"+hours;}
    if (minutes < 10) {minutes = "0"+minutes;}
    if (seconds < 10) {seconds = "0"+seconds;}

    if (milsecs < 10) {milsecs = "00"+milsecs;}
    else if(milsecs < 100) {milsecs = "0"+milsecs;}

    recordTime.text = minutes + ':' + seconds + "." + milsecs;
}
